Automatic Transactor Generation in Tlm by Exploiting Efsms *

نویسندگان

  • Nicola Bombieri
  • Franco Fummi
چکیده

One of the main critical tasks in a design flow based on Transaction Level Modeling (TLM) is the implementation of transactors. In fact, even if transactors represent the key objects to allow TLM-RTL mixed simulation, testbench and assertion reuse, their implementation is still manual, tedious and errorprone. The paper firstly classifies two scenarios as starting points to generate transactors and then, for each scenario, a suitable methodology is presented to automate the generation process exploiting the Extended Finite State Machine (EFSM) model.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automatic Generation of SystemC Transactors from AsmL Specifications

The SoC design flow consists of different levels of abstraction. At Transaction Level Modeling (TLM) different modules communicate with each other through function calls. In contrast, at the Register Transfer Level (RTL), different modules communicate through pin level signaling. The notion of transactors has been introduced recently in order to link modules (IP blocks) written at different lev...

متن کامل

A Temporal Logic Based Theory of Test Coverage and Generation

This paper presents a theory of test coverage and generation from specifications written in extended finite state machines (EFSMs). We investigate a family of coverage criteria based on the information of control flow and data flow in EFSMs and characterize them using the temporal logic CTL. We discuss the complexity of minimal cost test generation and describe a simple heuristic which uses the...

متن کامل

Technical Report: Communication SW Generation from TL to PCA Level for MPSoC

This paper describes the automatic generation of MPSoC communication SW from transaction level (TL) to a pin and cycle-accurate (PCA) level. At the transaction level, the communication in MPSoC is abstracted with send/receive and read/write calls to channels modeling system busses. Since the view of the MPSoC platform is abstracted with the goal of fast simulation and performance estimation, th...

متن کامل

Test cases generation from UML state diagrams

The paper discusses the application of state diagrams in UML to class testing. A set of coverage criteria is proposed based on control and data ow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. First, control ow is identiied by transforming UML state diagrams into extended nite state machines (EFSMs). The hierarchical and conc...

متن کامل

Automatic Test Generation for EFSM-based Systems

The present work addresses the problem of conformance testing for EFSM-based systems and especially, the problem of automatically generating executable test cases. First, the most important description methods are presented. Then, the test generation methods for FSM (finite state machines)-based systems are described. However, since systems are more understood as extended finite state machines ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007